package tarantula.experiment.timeandmoney;

import junit.framework.TestCase;

public class TimeAndMoneyFailedTestsSimpleTestBug1 extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everFrom(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test2() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test3() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everFrom(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test4() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test5() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everFrom(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test8() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test9() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test10() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test13() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test14() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test15() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everFrom(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test16() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test20() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test22() throws Throwable {

	    java.lang.Long var0 = new java.lang.Long(1L);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.from((long)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
	
	public void test23() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
}
